
install: build
	dune install --root=$$(pwd) --bindir=$$(realpath ..)

build:
	dune build --root=$$(pwd)
